detailed proof

un. 详细证明